VDM '91 - formal software development methods
- Författare
- (4th International symposium of VDM Europe, Noordwijkerhout, the Netherlands, October 21-25, 1991 : proceedings S. Prehn, W.J. Toetenel (eds.).)
- Genre
- Konferenspublikation
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer-Vlg | 1991 | Tyskland, Berlin, New York | 2 vol. |